21. Scientific applications of language methods
المؤلف: edited by Carlos Martín-Vide.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
22. Theory of finite automata : with an introduction to formal languages
المؤلف: / John Carroll, Darrell Long
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
23. Z
المؤلف: / Antoni Diller
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Z (Computer program language),Formal methods (computer science)
رده :
QA
76
.
73
.
Z2D55
1994
24. advanced modeling extension release 2.1. Reference Manual
المؤلف:
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Formal methods )Computer science(,، Computer science -- Mathematical models,، AutoLISP )Computer program language(
رده :
QA
76
.
73
.
A89
1992
25. development in language Theory II : AT the crossroads of Mathematics, Computer science and Biology
المؤلف: Editors Jurgen Dassow, Grzegorz Rozenberg, Arto Salomaa,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Formal Language,Sequences )Mathematics(,Sequential analysis
رده :
QA
.
D4
267
.
3
26. روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد
المؤلف: /رضا گومانی
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Seqence Diagram,State Daigram,formal Languages,Component's Behavior,Outomation and Formal Language
